• Lógicas da Inconsistência e da Incompletude: Semântica e Axiomática,
  by Arthur Buchsbaum
  
  PhD Thesis
  Pontifical Catholic University of Rio de Janeiro, 1995.
  
  
  Abstract: A family of logics suitable for inconsistency and incompleteness is defined. This family is formed by paraconsistent logics, paracomplete logics, and non alethic logics, besides the Logic of Epistemic Inconsistency (LEI) and the Logic of Skeptical Deduction (LSD), elaborated for formalization of reasoning in presence of plausible knowledge, reflecting respectively credulous and skeptical attitudes, with respect to knowledge. For each one of these logics is given a semantics and an axiomatics. Two alternatives of default rule-generated extensions are defined, forming non monotonic logics based respectively on LEI and LSD, suitable to some inductive reasoning forms.

Download (1.019 Kbytes)

• Lógicas da Inconsistência e da Incompletude: Semântica e Axiomática,
  de Arthur Buchsbaum
  
  Tese de Doutorado em Informática
  Pontifícia Universidade Católica do Rio de Janeiro, 1995.
  
  
  Resumo: Uma família de lógicas adequadas para o tratamento da inconsistência e da incompletude é definida, entre elas duas lógicas elaboradas para a formalização da plausibilidade. Para cada uma destas lógicas é dada uma semântica e uma axiomática. Duas alternativas de extensões geradas por defaults são especificadas, formando lógicas não monotônicas aptas para algumas formas de raciocínio indutivo.

Baixar (1.019 Kbytes)